证券组合的快车道问题研究

本文建立了新的证券组合最优控制模型，分析了证券市场长期投资过程中证券组合的快车道问题；提出了隐式规划的模拟退火方法，进行了快车道的仿真，这对于证券市场长期稳定运行和投资具有实际意义。     

基于微机的PUMA262机器人的离线编程系统

本文论述了一个离线编程系统开发的全过程，包括系统的设计和该软件的核心技术，ＰＵＭＡ机器人的运动学动力分析与仿真，机器人与微机的接口技术及ＮＵＲＢＳ高级曲线的路径规划方法等。     

Error in the UNITY substitution rule for subscripted operators

UNITY, introduced by Chandy and Misra [ChM88], is a programming logic intended to reason about temporal properties of distributed programs. Despite the fact that UNITY does not have the full power of, for example, linear temporal logic, it enjoys popularity due to its simplicity.There was however a serious problem with the Substitution Rule. The logic is incomplete without the rule, and with the rule it is inconsistent.     

乙二胺在沸石分子筛上的TPD研究

以程序升温脱附(TPD)为主要试验手段,对乙二胺在5种不同沸石分子筛上的吸附、脱附行为进行了研究。结果表明,沸石分子筛对乙二胺有着较强的吸附作用,但不同的沸石分子筛对乙二胺的吸附能力受其结构和表面酸性特征的影响而有所不同;适用于交联条件的有效吸附部位为一与沸石分子筛表面酸性有关的弱化学吸附位;乙二胺从不同沸石分子筛表面脱附的动力学与晶内扩散有关,其表观脱附活化能分别为:69.9kJ/mol(5A)、78.3kJ/mol(13X)、22.4kJ/mol(菱沸石)、37.5kJ/m0l(NaY)、44.7kJ/mol(ZSM-5)。     

空间机器人遥控、自主与协同操作的软件基础

空间机器人控制语言是实现空间机器人三种控制方式:遥控操作,自主操作和协同操作的软件基础,本文描述了该语言的基本结构,对于自主方式,给出了编程示例;对于遥控方式,运用程序辅助的方法,解决了操作员单独进行主/从操作时难以解决的问题.     

Type inference in stack based languages

We consider a language of operations which pass parameters by means of a stack. An algebra over the set of type signatures is introduced, which allows the type signature of a program to be obtained from the type signatures of its constituent operations.Although the theories apply in principle to any stack based language, they have been evolved with particular regard to the proposed ANSI Standard Forth language, which is currently implemented in a type free manner. We hope this work will stimulate an interest in Forth amongst those applying algebraic techniques in software engineering, and we hope to lay the theoretical foundations for implementing practical type checkers to support Forth.     

水溶性防氧化剂在SMT用印制板上的应用

水溶性的防氧化剂是一种有机可焊性保护剂。其方法是在印制板完全阻焊、字符层的印刷，并经电检之后，通过表面浸渍在裸铜的贴片位或通孔内形成一种耐热性的有机可焊性膜层。这种有机、可焊、耐热的膜层，膜厚可达0.3-0.5mm，其分解的温度可达约300℃，传统的印制板的热风整平法亦无法满足QFP愈来愈密集的需求，同时也无法满足SMD表面平整度的要求，更无法适应PCB薄型化生产。烷基苯并咪唑的OSP法能弥补这项缺陷，因而在PCB业乃至SMT产业中得到了广泛的应用。     

Design and Implementation of a Flexible Manufacturing Control System Using Neural Network

Design and implementation of a sequential controller based on the concept of artificial neural networks for a flexible manufacturing system are presented. The recurrent neural network (RNN) type is used for such a purpose. Contrary to the programmable controller, an RNN-based sequential controller is based on a definite mathematical model rather than depending on experience and trial and error techniques. The proposed controller is also more flexible because it is not limited by the restrictions of the finite state automata theory. Adequate guidelines of how to construct an RNN-based sequential controller are presented. These guidelines are applied to different case studies. The proposed controller is tested by simulations and real-time experiments. These tests prove the successfulness of the proposed controller performances. Theoretical as well as experimental results are presented and discussed indicating that the proposed design procedure using Elman's RNN can be effective in designing a sequential controller for event-based type manufacturing systems. In addition, the simulation results assure the effectiveness of the proposed controller to outperform the effect of noisy inputs.     

基于图像的计算机辅助数控编程软件研究

研究了基于图像的数控自动编程方法，包括影响自动编程、图像骨架自动编程和轮廓自动编程方法，并实现了使用该方法的计算机辅助数控编程软件。     

聚合物降解产物伤害与糖甙键特异酶破胶技术

综述了钻井，完井，尤其是水力压裂作业中产生的多糖类聚合物伤害和应用糖甙键特异酶破胶，解除多糖类聚合物伤害的技术。第一节报道了聚合物降解产物造成的伤害，指出冻胶破胶液粘度低并不代表压裂液已从充填裂缝中充分返排，氧化破胶剂和普通酶破胶剂不能使多糖类聚合物充分降解，产生的大分子量，水不溶的降解产物可对地层造成伤害，消除伤害的办法是采用对糖甙键有特异性的各种水解酶作压裂液破胶剂或伤害地层处理剂。第二节报道了各种聚合物（纤维素，瓜尔胶，淀粉）糖甙键特异酶降解聚合物的机理。第三节报道了糖甙键特异酶（主要针对瓜尔胶）的应用性能测试及结果，包括岩心流动实验，含糖量和分子量测定，传导性测试。第四节介绍了糖甙键特异酶消除聚合物伤害和用作压裂液破胶剂的现场应用，包括选井原则，实施工艺要点及3个典型井例。